1. BackTrack :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Security measures-- Testing.,Open source software.,Wireless communication systems-- Security measures-- Testing.
رده :
TK5103
.
2
2. Effective GUI test automation :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Graphical user interfaces (Computer systems) ; Testing. ; Computer software ; Development. ;
3. Embedded systems and software validation
پدیدآورنده : Roychoudhury, Abhik.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Design and construction ، Embedded computer systems,Testing ، Embedded computer systems,Testing ، Computer software
رده :
TK
7895
.
E42
R72
2009
4. Industrial use of formal methods
پدیدآورنده : edited by Jean-Louis Boulanger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation.,Computer software-- Verification.,Formal methods (Computer science),Nondestructive testing.,Systems engineering-- Data processing.
رده :
TA168
.
I45
2012eb
5. Testing embedded software
پدیدآورنده : / Bart Broekman and Edwin Notenboom
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Embedded computer systems , Testing,Computer software , Testing
رده :
E-BOOK
6. Testing embedded software
پدیدآورنده : Broekman, Bart
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Testing ، Embedded computer systems,Testing ، Computer software
رده :
TK
7895
.
E42
B76
7. Testing embedded software
پدیدآورنده : Broekman, Bart
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Testing ، Embedded computer systems,Testing ، Computer software
رده :
TK
7895
.
E42
B76
2003
8. Testing of software and communicating systems :20th IFIP TC 6/WG 6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : Congresses ، Telecommunication systems - Testing,Congresses ، Computer software - Testing
9. Testing of software and communication systems
پدیدآورنده : Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Testing,Computer software-- Testing,Telecommunication systems-- Testing, Congresses
رده :
TK5101
.
A1
I333
2009eb
10. Understanding Saftware testing
پدیدآورنده : Norman Parrington
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Computer systems.software.testing
رده :
005
,.
3
,
P2U2
,
1989
11. Understanding software testing
پدیدآورنده : Norman parrington&Mare Roper
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Computer Systems,Software Testing
12. Understanding software testing
پدیدآورنده : Norman Parrington and Marc Roper
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Computer systems. software, Testing
رده :
QA
,
76
.
76
,.
T48P37
,
1989
13. Understanding software testing
پدیدآورنده : / Norman Parrington, Marc Roper,Parrington
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Computer systems -- Software -- Testing
رده :
005
.
302
87
P361U
14. Understanding software testing
پدیدآورنده : / N. Parrington and M. Roper
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer systems- Software- Testing,Software computing
رده :
QA76
.
76
.
T48P3
1989
15. Unfoldings: a partial-order approach to model checking
پدیدآورنده : Esparza, Javier
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Testing ، Computer software,Verification ، Computer systems
رده :
QA
76
.
76
.
T48E87
2008
